Static program analysis - PDFSEARCH.IO - Document Search Engine

Static program analysis
Results: 262

#	Item
191	Parasoft C/C++test is an integrated development testing solution for C and C++. It automates a broad range of software quality practices—including static code analysis, unit testing, code review, coverage analysis, run Add to Reading List Source URL: www.parasoft.com Language: English - Date: 2014-11-22 06:14:02 Test automation C Microsoft Visual Studio Unit testing Software bug Regression testing Debugging Dynamic program analysis Software Software testing Parasoft
192	adacore_spr08_11x17_5h.qxd Add to Reading List Source URL: www.adacore.com Language: English - Date: 2012-01-25 11:57:53 Ada programming language AdaCore SPARK GNAT Programming Studio Ada GNAT A Sharp Subroutine Static program analysis Computing Software engineering Computer programming
193	< product spotlight > GNAT Pro Safety-Critical for Railway Applications newsflash Add to Reading List Source URL: www.adacore.com Language: English - Date: 2014-07-02 09:33:58 Computer programming AdaCore SPARK Ada GNAT Programming Studio GNAT A Sharp Static program analysis Design by contract Computing Software engineering Ada programming language
194	Special Publication[removed]Report on the Third Static Analysis Tool Exposition (SATE[removed]Editors: Vadim Okun Add to Reading List Source URL: samate.nist.gov Language: English - Date: 2013-05-07 16:54:58 Computer security Program analysis Hacking Vulnerability Cross-platform software Coverity Static program analysis Common Vulnerabilities and Exposures Software assurance Software testing Software Cyberwarfare
195	Tokeneer: Beyond Formal Program Verification Yannick Moy1 , Angela Wallenburg2 1: AdaCore, 46 rue d’Amsterdam, F[removed]Paris (France), [removed] 2: Altran Praxis, 20 Manvers Street, Bath BA1 1PX (United K Add to Reading List Source URL: www.open-do.org Language: English - Date: 2010-05-02 12:49:52 Procedural programming languages Ada programming language SPARK Program analysis Cross-platform software Ada Static program analysis C Software verification Computing Software engineering Computer programming
196	40 Years of Formal Methods Some Obstacles and Some Possibilities ? Dines Bjørnerα and Klaus Havelundβ,0 α Fredsvej 11, DK-2840 Holte, Danmark Add to Reading List Source URL: www.imm.dtu.dk Language: English - Date: 2014-04-04 08:14:48 Software engineering Vienna Development Method Formal specification B-Method Specification language Software development methodology Dines Bjørner Software development process Static program analysis Formal methods Computing Software development
197	Deep Static Analysis for Security and Quality Assurance Goanna™ is the leading static C/C++ code analysis solution for detecting security vulnerabilities and quality issues in safety critical embedded software. Support Add to Reading List Source URL: archive.redlizards.com Language: English - Date: 2015-03-08 20:44:06 Software testing Red Lizard Software Sonar Software quality Static program analysis Software bug OWASP Vulnerability Goanna Computing Software engineering Computer programming
198	Services: Training \| Integrations \| Audits \| Coding Standards 110111010001011100 101001011100101110[removed]100010111001010010111001011101110110 Add to Reading List Source URL: www.programmingresearch.com Language: English - Date: 2013-08-14 04:33:00 Program analysis Static program analysis Software development process Coding conventions Analysis Science Software development Computer programming
199	adacore_spr08_11x17_5h.qxd Add to Reading List Source URL: www.adacore.com Language: English - Date: 2011-12-16 12:50:39 Computer programming AdaCore SPARK GNAT Ada A Sharp Static program analysis DO-178C Free software Computing Ada programming language Software engineering
200	IMA Reduces the Time and Cost of Regulatory Compliance through Static Analysis Since 1961, IMA has been designing and producing implants and equipment for packaging in the food and pharmaceutical industries. IMA products Add to Reading List Source URL: www.parasoft.com Language: English - Date: 2014-12-01 04:04:06 Parasoft Program analysis Static program analysis Verification and validation Soatest Software testing Software Software review

UPDATE